signature x86_TOKENS =
sig
type ('a,'b) token
type svalue
val A_POST:  'a * 'a -> (svalue,'a) token
val A_PRE:  'a * 'a -> (svalue,'a) token
val A_INT:  'a * 'a -> (svalue,'a) token
val A_WILD:  'a * 'a -> (svalue,'a) token
val A_END:  'a * 'a -> (svalue,'a) token
val A_IN:  'a * 'a -> (svalue,'a) token
val A_LET:  'a * 'a -> (svalue,'a) token
val A_TREE:  'a * 'a -> (svalue,'a) token
val A_LIST:  'a * 'a -> (svalue,'a) token
val A_RESULT:  'a * 'a -> (svalue,'a) token
val A_EXISTS:  'a * 'a -> (svalue,'a) token
val A_FORALL:  'a * 'a -> (svalue,'a) token
val A_PREV:  'a * 'a -> (svalue,'a) token
val A_D:  'a * 'a -> (svalue,'a) token
val A_N:  'a * 'a -> (svalue,'a) token
val A_PI:  'a * 'a -> (svalue,'a) token
val A_IFF:  'a * 'a -> (svalue,'a) token
val RANNO:  'a * 'a -> (svalue,'a) token
val LANNO:  'a * 'a -> (svalue,'a) token
val A_STRUCT:  'a * 'a -> (svalue,'a) token
val A_IMPLY:  'a * 'a -> (svalue,'a) token
val TAG:  'a * 'a -> (svalue,'a) token
val ENDR:  'a * 'a -> (svalue,'a) token
val REPT:  'a * 'a -> (svalue,'a) token
val LONG:  'a * 'a -> (svalue,'a) token
val ASNOP:  'a * 'a -> (svalue,'a) token
val UNARY:  'a * 'a -> (svalue,'a) token
val A_NULL:  'a * 'a -> (svalue,'a) token
val NULL:  'a * 'a -> (svalue,'a) token
val ALLOC:  'a * 'a -> (svalue,'a) token
val FREE:  'a * 'a -> (svalue,'a) token
val A_PTR_OP:  'a * 'a -> (svalue,'a) token
val PTR_OP:  'a * 'a -> (svalue,'a) token
val A_DOT:  'a * 'a -> (svalue,'a) token
val DOT:  'a * 'a -> (svalue,'a) token
val A_FALSE:  'a * 'a -> (svalue,'a) token
val FALSE:  'a * 'a -> (svalue,'a) token
val A_TRUE:  'a * 'a -> (svalue,'a) token
val TRUE:  'a * 'a -> (svalue,'a) token
val A_NOT:  'a * 'a -> (svalue,'a) token
val NOT:  'a * 'a -> (svalue,'a) token
val A_BOR:  'a * 'a -> (svalue,'a) token
val BOR:  'a * 'a -> (svalue,'a) token
val A_BAND:  'a * 'a -> (svalue,'a) token
val BAND:  'a * 'a -> (svalue,'a) token
val A_NEQ:  'a * 'a -> (svalue,'a) token
val NEQ:  'a * 'a -> (svalue,'a) token
val A_EQ:  'a * 'a -> (svalue,'a) token
val EQ:  'a * 'a -> (svalue,'a) token
val A_LE:  'a * 'a -> (svalue,'a) token
val LE:  'a * 'a -> (svalue,'a) token
val A_LT:  'a * 'a -> (svalue,'a) token
val LT:  'a * 'a -> (svalue,'a) token
val A_GE:  'a * 'a -> (svalue,'a) token
val GE:  'a * 'a -> (svalue,'a) token
val A_GT:  'a * 'a -> (svalue,'a) token
val GT:  'a * 'a -> (svalue,'a) token
val A_ASSIGN:  'a * 'a -> (svalue,'a) token
val ASSIGN:  'a * 'a -> (svalue,'a) token
val A_MODUS:  'a * 'a -> (svalue,'a) token
val MODUS:  'a * 'a -> (svalue,'a) token
val CLTD:  'a * 'a -> (svalue,'a) token
val IDIVL:  'a * 'a -> (svalue,'a) token
val A_DIV:  'a * 'a -> (svalue,'a) token
val DIV:  'a * 'a -> (svalue,'a) token
val A_MUL:  'a * 'a -> (svalue,'a) token
val MUL:  'a * 'a -> (svalue,'a) token
val A_MINUS:  'a * 'a -> (svalue,'a) token
val MINUS:  'a * 'a -> (svalue,'a) token
val A_ADD:  'a * 'a -> (svalue,'a) token
val MALLOC:  'a * 'a -> (svalue,'a) token
val CALL:  'a * 'a -> (svalue,'a) token
val JGE:  'a * 'a -> (svalue,'a) token
val JG:  'a * 'a -> (svalue,'a) token
val JE:  'a * 'a -> (svalue,'a) token
val JMP:  'a * 'a -> (svalue,'a) token
val PUSHL:  'a * 'a -> (svalue,'a) token
val POPL:  'a * 'a -> (svalue,'a) token
val MOVL:  'a * 'a -> (svalue,'a) token
val LEAL:  'a * 'a -> (svalue,'a) token
val LEAVE:  'a * 'a -> (svalue,'a) token
val IMULL:  'a * 'a -> (svalue,'a) token
val SUBL:  'a * 'a -> (svalue,'a) token
val GLOBL:  'a * 'a -> (svalue,'a) token
val ALIGN:  'a * 'a -> (svalue,'a) token
val DATA:  'a * 'a -> (svalue,'a) token
val TEXT:  'a * 'a -> (svalue,'a) token
val XCHG:  'a * 'a -> (svalue,'a) token
val CMPL:  'a * 'a -> (svalue,'a) token
val ADDL:  'a * 'a -> (svalue,'a) token
val A_MYSTRUCT:  'a * 'a -> (svalue,'a) token
val MYSTRUCT:  'a * 'a -> (svalue,'a) token
val A_MYVOID:  'a * 'a -> (svalue,'a) token
val MYVOID:  'a * 'a -> (svalue,'a) token
val A_MYBOOL:  'a * 'a -> (svalue,'a) token
val MYBOOL:  'a * 'a -> (svalue,'a) token
val A_MYINT:  'a * 'a -> (svalue,'a) token
val MYINT:  'a * 'a -> (svalue,'a) token
val A_ESP:  'a * 'a -> (svalue,'a) token
val A_EBP:  'a * 'a -> (svalue,'a) token
val A_EDI:  'a * 'a -> (svalue,'a) token
val A_ESI:  'a * 'a -> (svalue,'a) token
val A_EDX:  'a * 'a -> (svalue,'a) token
val A_ECX:  'a * 'a -> (svalue,'a) token
val A_EBX:  'a * 'a -> (svalue,'a) token
val A_EAX:  'a * 'a -> (svalue,'a) token
val ESP:  'a * 'a -> (svalue,'a) token
val EBP:  'a * 'a -> (svalue,'a) token
val ESI:  'a * 'a -> (svalue,'a) token
val EDI:  'a * 'a -> (svalue,'a) token
val EDX:  'a * 'a -> (svalue,'a) token
val ECX:  'a * 'a -> (svalue,'a) token
val EBX:  'a * 'a -> (svalue,'a) token
val EAX:  'a * 'a -> (svalue,'a) token
val RET:  'a * 'a -> (svalue,'a) token
val A_COLON:  'a * 'a -> (svalue,'a) token
val COLON:  'a * 'a -> (svalue,'a) token
val A_COMMA:  'a * 'a -> (svalue,'a) token
val COMMA:  'a * 'a -> (svalue,'a) token
val A_SEMICOLON:  'a * 'a -> (svalue,'a) token
val SEMICOLON:  'a * 'a -> (svalue,'a) token
val A_ARRAY:  'a * 'a -> (svalue,'a) token
val ARRAY:  'a * 'a -> (svalue,'a) token
val A_RREGU:  'a * 'a -> (svalue,'a) token
val RREGU:  'a * 'a -> (svalue,'a) token
val A_LREGU:  'a * 'a -> (svalue,'a) token
val LREGU:  'a * 'a -> (svalue,'a) token
val A_RBRACE:  'a * 'a -> (svalue,'a) token
val RBRACE:  'a * 'a -> (svalue,'a) token
val A_LBRACE:  'a * 'a -> (svalue,'a) token
val LBRACE:  'a * 'a -> (svalue,'a) token
val DOLLAR:  'a * 'a -> (svalue,'a) token
val A_RPAREN:  'a * 'a -> (svalue,'a) token
val RPAREN:  'a * 'a -> (svalue,'a) token
val A_LPAREN:  'a * 'a -> (svalue,'a) token
val LPAREN:  'a * 'a -> (svalue,'a) token
val A_INTC: (int) *  'a * 'a -> (svalue,'a) token
val INTC: (int) *  'a * 'a -> (svalue,'a) token
val A_ID: (string) *  'a * 'a -> (svalue,'a) token
val ID: (string) *  'a * 'a -> (svalue,'a) token
val EOF:  'a * 'a -> (svalue,'a) token
end
signature x86_LRVALS=
sig
structure Tokens : x86_TOKENS
structure ParserData:PARSER_DATA
sharing type ParserData.Token.token = Tokens.token
sharing type ParserData.svalue = Tokens.svalue
end
